Search All
Books
Add Abstract
Book proposals
Sitemap
Contact
Search
Search over a million
unpublished dissertations
Add your Master's or Ph.D.
abstract to database
Find theses & dissertations
published by Dissertation.com
Thesis abstracts
Model checking transaction properties for concurrent real-time transactions in UPPAAL
Jinle Li
,
2016
Mälarden University
,
#2124408 posted on 02/05/2017